1. Verification
پدیدآورنده: / Nachum Dershowitz (ed.)
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47V48
2003


2. Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
پدیدآورنده: Nachum Dershowitz )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2772

